gradual refinement